Control of Search in AI Planning

نویسندگان

  • Jim Hendler
  • Jana Koehler
چکیده

In the field of artificial intelligence, ”planning” is defined as designing the behavior of some entity that acts, either an individual, a group, or an organization. The output is some kind of blueprint for behavior, which we call a plan. There are a wide variety of planning problems, differentiated by the types of their inputs and outputs. Typically, planning problems get more and more difficult as more flexible inputs are allowed and fewer constraints on the output are required. As this flexibility increases, the space of possibilities needing to be explored by the planning algorithm grows extremely quickly (usually exponentially). The goal of this workshop was to provide a specific focus on controlling this search. This problem is the essence of the planning problem, and it arises regardless of which specific planning methodology is used (nonlinear planning, deductive planning, hierarchical planning, etc.) in all of these controlling an exponentially growing search space is a central problem. In all planning formalizations, it is critical that some sort of knowledge (heuristic or otherwise) is used to make reasonable decisions at any of the many choice points which arise in planning. Such choice points can concern:

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Overview of Modeling, Scheduling, Planning, and Control Using Petri Net Representation and AI Search

This paper reviews the research work on Petri nets representations and the AI based search approaches. It coves the following contents: 1) Petri nets (PN) and PN modeling of manufacturing systems; 2) Scheduling using PN and AI search and PN based scheduling of flexible manufacturing systems using hybrid heuristic search; 3) PN based planning; 4) Closed-loop control using PN; 5) Rule-based PN an...

متن کامل

AI-Techniques in Proof Planning

Proof planning is an application of Artiicial Intelligence (AI)-planning in mathematical domains for theorem proving. The paper presents a knowledge-based proof planning approach that is implemented in the OMEGA proof planner. It evaluates control-rules in order to restrict the otherwise intractable search spaces and combines proof planning with domain-speciic constraint solving. Several AI-tec...

متن کامل

Network Planning Using Iterative Improvement Methods and Heuristic Techniques

The problem of minimum-cost expansion of power transmission network is formulated as a genetic algorithm with the cost of new lines and security constraints and Kirchhoff’s Law at each bus bar included. A genetic algorithm (GA) is a search or optimization algorithm based on the mechanics of natural selection and genetics. An applied example is presented. The results from a set of tests carried ...

متن کامل

O-Plan: The open Planning Architecture

O Plan is an AI planner based on previous experience with the Nonlin planner and its deriva tives Nonlin and other similar planning systems had limited control architectures and were only partially successful at limiting their search spaces O Plan is a design and implementation of a more exible system aimed at supporting planning research and development opening up new planning methods and supp...

متن کامل

Randomization and Restarts in Proof Planning

Proof planning is an application of AI-planning in mathematical domains. One of its strengths comes from the usage of mathematical knowledge that heuristically restricts the search space. We investigate problem classes for which little or no heuristic control knowledge is available and test the usage of randomization and restart techniques for “search control”. This approach does not rely on do...

متن کامل

An AI Planning-based Tool for Scheduling Satellite Nominal Operations

Satellite domains are becoming a fashionable area of research within the AI community due to the complexity of the problems that these domains need to solve. With the current US and European focus on launching satellites for communication, broadcasting, or localization tasks, among others, the automatic control of these machines becomes an important problem. Many new techniques in both the plan...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008